Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
301	The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Logic in computer science Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Lambda calculus Programming Computable Functions Theoretical computer science Computer science Applied mathematics
302	Event-Driven FRP Walid Taha, Zhanyong Wan, and Paul Hudak Department of Computer Science, Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2001-08-22 00:57:04 Programming language theory Models of computation Logic in computer science Functional programming Functional reactive programming Denotational semantics Reactive programming ALGOL 68 Software engineering Evaluation strategy Computing
303	Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2000-09-12 07:39:17 Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science
304	Component-Based Description of Programming Languages Peter D. Mosses Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:16:37 Software engineering Programming language theory Formal languages Denotational semantics Procedural programming languages Operational semantics Semantics Action semantics Programming language Theoretical computer science Logic in computer science Programming language semantics
305	PDF Document Add to Reading List Source URL: smcnetwork.org Language: English - Date: 2011-03-29 11:30:54 Electronic design Electronic circuits Denotational semantics Logic in computer science FAUST Electrical impedance Input impedance Electronic filter Laplace transform Electronic engineering Electronics Electromagnetism
306	PDF Document Add to Reading List Source URL: faust.grame.fr Language: English - Date: 2011-10-15 08:19:33 Theoretical computer science Logic in computer science Filter theory FAUST Input impedance Electrical impedance Denotational semantics Impedance matching Type system Electronic engineering Electrical engineering Electronic design
307	PDF Document Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2004-01-13 10:32:24 Formal methods Process calculus Denotational semantics Algebra of Communicating Processes Communicating sequential processes Algebraic structure Universal algebra Construction and Analysis of Distributed Processes Calculus of communicating systems Process calculi Theoretical computer science Mathematics
308	PDF Document Add to Reading List Source URL: www.triunecontinuum.com Language: English - Date: 2012-06-21 18:00:00 Programming language semantics Formal languages Logical syntax Metalogic Semantics Unified Modeling Language Entity-relationship model Denotational semantics Operational semantics Logic Science Logic in computer science
309	PDF Document Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2012-09-28 04:11:44 Models of computation Logic in computer science Functional languages Programming paradigms Lambda calculus John von Neumann Denotational semantics FP Functional programming Software engineering Computing Mathematics
310	PDF Document Add to Reading List Source URL: faust.grame.fr Language: English - Date: 2011-10-15 08:19:33 Electromagnetism FAUST Denotational semantics SIGNAL Digital-to-analog converter Clock signal Feedback Digital signal processing Electronic engineering Electronics

UPDATE